21. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
Author: SLE 8002)8002 :Toulouse, France(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses
Classification :
QA
76
.
7
.
S587
2008
22. Static Analysis
Author: \ Sandrine Blazy , Thomas Jensen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer programming -- Congresses.,Software engineering -- Congresses.,Computer programming.,برنامهنویسی -- کنگرهها,نرمافزار -- مهندسی-- کنگرهها ,برنامهنویسی
Classification :
QA
76
.
6
.
S7
2015
E-Book
,
23. Static analysis
Author: Francesco Logozzo, Manuel Fähndrich (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Software engineering, Congresses
Classification :
QA76
.
6
.
I58
2013
24. Theory of Cryptography
Author: \ Björn Franke (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلرها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه نویسی ,مهندسی نرم افزار
Classification :
QA76
.
76
.
T46
2015
E-Book
,
25. Unifying theories of programming :
Author: Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,computerkunde.,software engineering.
Classification :
QA76
.
6
B875
2013
